#include "main.h"






int main(int argc, char *argv[])
{
    vgdb_server     server;
    strcpy(server.debug_file, argv[1]);








    vgdb_run ( &server );
    return 0;
}
